when n is
  @Add n m -> n + m
